Petri Net Based Approaches to Scheduling Problems
نویسندگان
چکیده
منابع مشابه
Petri net based scheduling
Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of scheduling problems, we provide a method to map tasks, resources and constraints onto a timed Petri net. By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory. In this paper we will show that we can use Petri net based tools and techniques to find conflicting...
متن کاملA New Two-Phase Approach for Petri Net Based Modeling of Scheduling Problems
This paper presents a new two-phase approach for Petri Net based modeling of scheduling problems. Though Petri Nets have been used as heuristic approach for modeling scheduling problems, literature study reveals two major difficulties: 1) the large size of Petri Net models, and 2) the inability to differentiate workstations. In this paper, these two difficulties are avoided by a two-phase appro...
متن کاملPetri net based dynamic scheduling of an elevator system
In this paper, a hybrid model of a multiple elevator system is proposed , consisting of a timed place Petri net (TPPN) model and a set of control rules implemented via the so-called control places in the T P P S model. The Petri net model is a highly modulized structure, whose constituent modules can be classified into three types: Basic Movement Module. Loading/Unloading Module, and Direction ...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE ESS Fundamentals Review
سال: 2015
ISSN: 1882-0875
DOI: 10.1587/essfr.8.314